COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.require "let.pub[let,jmc]" source
C00004 ENDMK
C⊗;
.require "let.pub[let,jmc]" source
∂AIL Professor John Miller↓Department of Mathematics↓Trinity College
↓Dublin↓IRELAND∞

Dear John:

	I looks like an opportunity to visit Dublin briefly is finally at
hand after all these years.  I plan to arrive on Friday October 26
and leave on Tuesday October 30, the former as early as possible considering
that I will be coming from Israel and the latter as late as possible
considering that I must get to Detroit Tuesday night.

	If there is interest, and if it fits into the academic schedule,
I could give a talk entitled, "Two ways of expressing programs in
first order logic".  Presumably Monday would be the only possible time.

	I am looking forward to meeting you and your wife and some
of my relatives.

		Best Regards to all,


John McCarthy